Proof theory in computer science - international seminar : proceedings
- Författare
- PTCS Robert Stärk Peter Schroeder-Heister Reinhard Kahle International Seminar on Proof Theory in Computer Science 2001 Dagstuhl Castle)
- (PTCS 2001, Dagstuhle Castle, Germany, October 7 - 12, 2001 Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.).)
- Genre
- Konferenser, Konferenspublikation, Ej skönlitteratur
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 2001 | Tyskland, Berlin | 238 sidor. |